MSE / NIST Seminar Advances in Industrial-Strength Verification of Systems and Software

Welcome (David Garlan/Bill Scherlis Part 1) • video

Introduction to Combinatorial Testing (Rick Kuhn Part 2) • video • slides

The Classification Tree Method Illustrated (Eduardo Miranda Part 3) • video • slides

Static Analysis and Software Quality (Jonathan Aldrich Part 4) • video • slides

Evolution of Combinatorial Testing Methods from DOE to ACTS (Raghu Kacker Part 1) • video • slides

Advanced Topics in Combinatorial Testing (Rick Kuhn Part 2) • video • slides
 
The MSE Program (Matt Bass Part 3) • video
 
Integrating the Classification Tree Method with Combinatorial Testing (Eduardo Miranda Part 4) • video • slides